First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
441	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-10 07:17:13 Logic programming Formal languages Logical syntax Well-formed formula Autoepistemic logic Logical connective Modal depth Propositional variable First-order logic Logic Mathematical logic Modal logic
442	Scope and the Grammar of Choice Adrian Brasoveanu, Donka F. Farkas UC Santa Cruz 1 Add to Reading List Source URL: people.ucsc.edu Language: English - Date: 2015-01-24 16:05:41 Predicate logic Model theory Quantification First-order logic Interpretation Independence-friendly logic Discourse representation theory Skolem normal form Well-formed formula Logic Mathematical logic Semantics
443	Annual Conference of the European Association for Computer Science Logic CSL 2011 September–15, 2011, Bergen, Norway PROGRAM Add to Reading List Source URL: eacsl.kahle.ch Language: English - Date: 2011-08-31 08:53:38 Proof theory Classical logic First-order logic Finite model theory Model theory Logic Mathematical logic Metalogic
444	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-10 07:17:13 Logical syntax Formal languages Boolean algebra Well-formed formula Logical connective FO First-order logic Propositional variable Logic Mathematical logic Propositional calculus
445	No Ifs, Ands, or Buts Uncovering the Simplicity of Conditionals Jonathan Edwards MIT Computer Science and Artificial Intelligence Lab Add to Reading List Source URL: www.subtext-lang.org Language: English - Date: 2013-09-04 17:58:58 SQL keywords Predicate logic Programming paradigms Propositional calculus SQL Predicate First-order logic Extensible Storage Engine Where Logic Computing Mathematical logic
446	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 Logic in computer science Proof theory Predicate logic Type theory First-order logic Sequent Isabelle Higher-order logic Logical framework Logic Mathematical logic Mathematics
447	Tabling for Transaction Logic ∗ Paul Fodor Michael Kifer State University of New York at Stony Brook,Stony Brook, NY 11794, USA Add to Reading List Source URL: silk.semwebcentral.org Language: English - Date: 2010-05-12 21:44:02 Model theory Transaction logic B-Prolog Prolog First-order logic Datalog Interpretation Function Modal logic Logic Mathematical logic Mathematics
448	Spatial Validation Academic References Submitted To: Program Manager Add to Reading List Source URL: vwfs.refractions.net Language: English - Date: 2003-08-29 19:07:32 Cartography Geodesy Geographic information system Spatial–temporal reasoning Spatial database First-order logic Geospatial analysis Geospatial metadata PostGIS Science Mathematical logic Logic
449	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-25 07:04:51 Model theory Logical syntax Formal languages Metalogic Well-formed formula Logical connective FO First-order logic Propositional formula Logic Mathematical logic Mathematics
450	Non-Omniscience, Probabilistic Inference, and Metamathematics Paul Christiano∗ June 22, 2014 Abstract Add to Reading List Source URL: intelligence.org Language: English - Date: 2014-06-22 13:59:27 Metalogic Philosophical logic Model theory Deduction Entailment Probabilistic logic Axiom Function First-order logic Logic Mathematics Mathematical logic

UPDATE